does every topology have a basis